\begin{tabbing}
$\forall$${\it es}$:ES, ${\it ff}$:FIFO.
\\[0ex]for\= clients ${\it ff}$.C sends FIFO\+
\\[0ex]from j to i via (${\it ff}$.S[j,i],${\it ff}$.Codes)
\\[0ex]receives at i via (${\it ff}$.R[i],${\it ff}$.Decodes)
\-
\end{tabbing}